$\forall$$a$,$b$:atom\{2:n\}. ($a$ = $b$) $\Leftarrow\!\Rightarrow$ ($\uparrow$eq\_atom\{2:n\}($a$; $b$))